Metadata
aliases: []
shorthands: {}
created: 2021-11-02 20:37:33
modified: 2022-01-10 04:13:04
Let be a group, one of its representations, one of its irreducible representations and the character of .
Then the operator is a projector onto the invariant subspace of .
See also
Smarter projection into irreducible subspaces